\input basic9
	% these are the fonts which basic9 doesn't have
\font c=cmr8
\font i=cmi8 
\font m=cmsc10
\font p=cms8
\font s=cmb8
\font t=cmtt
\font w=cmsy8
\font ;=cmtitl
\font ==cmss12
\font >=cmss8
% \font ?=cmsss8 - already defined to be cmti10[XGP,SYS]

% \input mytex[1,rdg]

% \hsize 353pt % this isn't in the manual but it seems right for the XGP
% \vsize 478pt % likewise
\maxdepth 2pt \parindent 19pt \topbaseline 10pt
\parskip 0pt plus 1 pt \lineskip 1pt
\topskip 24pt plus 6pt minus 10pt  \botskip 3pt plus 6pt
\def\tenpoint{\baselineskip 12pt \dispskip 12pt plus 3pt minus 9pt
	\dispaskip 0pt plus 3pt \dispbskip 7pt plus 3pt minus 4pt
	\def\rm{\:a} \def\sl{\:n} \def\bf{\:q} \def\it{\:g}
	\def\biglp{\mathopen{\vcenter{\hbox{\:@\char'0}}}}
	\def\bigrp{\mathclose{\vcenter{\hbox{\:@\char'1}}}}
	\def\9{\hskip 5pt}
	\mathrm adf \mathit gjl \mathsy uxz \rm}
\def\ninepoint{\baselineskip 11pt \dispskip 11pt plus 3pt minus 8pt
	\dispaskip 0pt plus 3pt \dispbskip 6pt plus 3pt minus 3pt
	\def\rm{\:b} \def\sl{\:o} \def\bf{\:r} \def\it{\:h}
	\def\biglp{\mathopen{\hbox{\:a(}}}
	\def\bigrp{\mathclose{\hbox{\:a)}}}
	\def\9{\hskip 4.625pt}
	\mathrm bef \mathit hkl \mathsy vyz \rm}
\def\eightpoint{\baselineskip 9pt \dispskip 9pt plus 3pt minus 7pt
	\dispaskip 0pt plus 3pt \dispbskip 5pt plus 3pt minus 2pt
	\def\rm{\:c} \def\sl{\:p} \def\bf{\:s} \def\it{\:i}
	\def\biglp{\mathopen{\hbox{\:a(}}}
	\def\bigrp{\mathclose{\hbox{\:a)}}}
	\def\9{\hskip 4.25pt}
	\mathrm cef \mathit ikl \mathsy wyz \rm}
\mathex @  \def\tt{\:t}
\def\bigglp{\mathopen{\vcenter{\hbox{\:@\char'22}}}}
\def\biggrp{\mathclose{\vcenter{\hbox{\:@\char'23}}}}
\def\biggglp{\mathopen{\vcenter{\hbox{\:@\char'40}}}}
\def\bigggrp{\mathclose{\vcenter{\hbox{\:@\char'41}}}}

\def\qquad{\hskip 20pt}
\def\xskip{\hskip 7pt plus 3pt minus 4pt}
\def\yskip{\penalty-50\vskip 3pt plus 3pt minus 2pt}
\def\yyskip{\penalty-100\vskip 6pt plus 6pt minus 4pt}
\def\sectionskip{\penalty-200\vskip 24pt plus 12pt minus 6pt}

% for section headings
	% this is for making a heavy underlined text
\def\TUNDER _#1_{$\underline {\hbox {#1}}$} % this is for underlining text
\def\Heavy _#1_{\TUNDER _{\bf #1}_} % this is for underlining boldface text

\def\HeadA⊂#1⊃{\par\hbox{\ctrline{\:=#1}}
	\save5\hbox{\tenpoint \bf #1}
	\penalty 1000 \vskip 6pt plus 3pt
	\noindent\!}
\def\HeadB⊂#1⊃{\par\sectionskip
	% \save5\hbox{\tenpoint \bf #1}
	\ctrline{\bf#1.}
	\vskip 6pt plus 3pt\noindent\!}
\def\HeadBA⊂#1⊃{\par\sectionskip
	% \save5\hbox{\tenpoint \bf #1}
	\ctrline{\bf#1.}
	\vskip 6pt plus 3pt}
\def\HeadC⊂#1⊃{\par\yyskip
	\noindent{\tenpoint{\HEAVY _#1_}}:\xskip\!}
\def\HeadD⊂#1⊃{\par\yyskip
	\noindent{\tenpoint({\sl #1}}):\xskip\!}
\def\HeadZ⊂#1]#2⊃{\sectionskip
	\noindent{\rm#1] }{\sl#2}\par
	\vskip 6pt plus 3pt\noindent\!}

\def\aline#1{\hangindent 10pt\noindent{#1}\par}

\def\footnote#1[#2]{{$↑#1$}
	\botinsert{{\if T\nofn{\gdef\nofn{F}\hrule width 5pc\vskip 3pt}
		\else{\vskip 2pt}}
	% \baselineskip 12pt
	% \baselineskip 9pt
	\hbox par size{\eightpoint{$↑#1$}#2}}}

\def\boxit#1{\vbox{\hrule\hbox{\vrule\vbox{#1}\vrule}\hrule}}
\def\NOTE #1\eton{\par{\sl $\underline {NOTE}$: #1}\par}
\def\HINT #1\tnih{{\eightpoint{\sl Hint}: #1}}

\def\underspace{$\underline {\hbox { }}$}
\def\nulsize#1{\hbox to 0pt{#1}}

\save1\vbox{\vbox to size{\vfill}\vskip -40pt}
\vsize 1ht1  % so the height is now the regular height, minus40 pt
\eject
\output{\baselineskip 20pt\page\ctrline{\:a\count0}\advcount0\gdef\nofn{T}}
\def\nofn{T}
\ninepoint
%% Text goes here.